From 8bcd69bb9b595516ba957640dc7f6741ed350d7e Mon Sep 17 00:00:00 2001
From: "kaf24@localhost.localdomain" <kaf24@localhost.localdomain>
Date: Fri, 26 Jan 2007 15:08:28 +0000
Subject: [PATCH] Fix 32-bit build.

---
 xen/arch/x86/domctl.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xen/arch/x86/domctl.c b/xen/arch/x86/domctl.c
index b109fa0578..36b0b3b4d0 100644
--- a/xen/arch/x86/domctl.c
+++ b/xen/arch/x86/domctl.c
@@ -9,6 +9,7 @@
 #include <xen/lib.h>
 #include <xen/mm.h>
 #include <xen/guest_access.h>
+#include <xen/compat.h>
 #include <public/domctl.h>
 #include <xen/sched.h>
 #include <xen/domain.h>
-- 
2.30.2